import os
# PROJ_PATH="Output/primary"
# C_PATH="Input/01-Primary"
# CRATE_NAME="primary"


CRATE_NAME="medium"
PROJ_PATH="Output/medium"
C_PATH="Input/02-Medium"

# CRATE_NAME="medium"
# PROJ_PATH="Output/medium_tmp"
# C_PATH="Input/02-Medium"

# CRATE_NAME="medium_silicon_ds"
# PROJ_PATH="Output/medium_silicon_ds"
# C_PATH="Input/02-Medium"

# CRATE_NAME="medium_huoshan_doubao"
# PROJ_PATH="Output/medium_huoshan_doubao"
# C_PATH="Input/02-Medium"

# CRATE_NAME="medium"
# PROJ_PATH="Output/medium_huoshan_ds"
# C_PATH="Input/02-Medium"

# CRATE_NAME="medium_huoshan_ds"
# PROJ_PATH="Output/medium_huoshan_ds"
# C_PATH="Input/02-Medium"

# CRATE_NAME="medium_ali_ds"
# PROJ_PATH="Output/medium_ali_ds"
# C_PATH="Input/02-Medium"






C2RUST_OUTPUT_PATH=f"{PROJ_PATH}-c2rust"
C2RUST_PATH = "Tool/c2rust/target/debug/c2rust"
SRC_PATH=os.path.join(PROJ_PATH, "src")
TEST_PATH=os.path.join(PROJ_PATH, "tests")


COUNT_SAFE_RATIO_PATH="Tool/count_safe_ratio.sh"
COMPARE_HASH_SRC_LIST = [
    f"{SRC_PATH}/compare_int.rs",
    f"{SRC_PATH}/compare_string.rs",
    f"{SRC_PATH}/compare_pointer.rs",
    f"{SRC_PATH}/hash_int.rs",
    f"{SRC_PATH}/hash_string.rs",
    f"{SRC_PATH}/hash_pointer.rs"
]
MAX_ATTEMPS=5
TEST_TIMEOUT=20
FIRST_TEST_TIMEOUT=300

MODEL_TEMP = 0
TOP_P=1
MAX_TOKENS = 8192

# CRATE_NAME="medium_mini"
# PROJ_PATH="Output/medium_mini"
# C_PATH="Input/02-Medium-mini"